Argumentation with Defeasible Conditionals: a Preliminary Report (extended Abstract)
نویسنده
چکیده
This paper investigates the relation between logics for defeasible conditionals and systems for defeasible argumentation. Starting from the assumption that the construction of arguments and the comparison of incompatible arguments are independent phenomena, it is argued that connict resolution plays a role not only in reasoning with, but also in reasoning about defaults. Since in the latter phase hypothetical reasoning is essential, standard natural-deduction is extended with rules for a defeasible conditional; then Vreeswijk's abstract argumentation system is extended with the notion of a hypothetical argument, after which the two systems are combined.
منابع مشابه
Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report)
In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format. This format is the abstract theory developed by Dung, Kowalski and others. A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible. The proof theory could serve as thèlogical core' ...
متن کاملModelling Argument Accrual in Possibilistic Defeasible Logic Programming
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possibilistic uncertainty, notably Possibilistic Defeasible Logic Programming (P-DeLP). At the same time, modelling argument accrual has gained attention from the argumentation community. Even though some preliminary forma...
متن کاملRelating Concrete Argumentation Formalisms and Abstract Argumentation
There are a wide variety of formalisms for defeasible reasoning that can be seen as implementing concrete argumentation on defeasible rules. However there has been little work on the relationship between such languages and Dung’s abstract argumentation. In this paper we identify two small fragments on which many concrete defeasible formalisms agree. The two fragments are closely related, as we ...
متن کاملArtificial argument assistants for defeasible argumentation
The present paper discusses experimental argument assistance tools. In contrast with automated reasoning tools, the objective is not to replace reasoning, but to guide the user’s production of arguments. Two systems are presented, ARGUE! and ARGUMED based on DEFLOG. The focus is on defeasible argumentation with an eye on the law. Argument assistants for defeasible argumentation naturally corres...
متن کاملOn argument strength
Everyday life reasoning and argumentation is defeasible and uncertain. I present a probability logic framework to rationally reconstruct everyday life reasoning and argumentation. Coherence in the sense of De Finetti is used as the basic rationality norm. I discuss two basic classes of approaches to construct measures of argument strength. The first class imposes a probabilistic relation betwee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995